SYLLOGISTIC LOGIC WITH CARDINALITY COMPARISONS, ON INFINITE SETS
نویسندگان
چکیده
منابع مشابه
Cardinality for Infinite Sets
How can we determine whether two sets have the same cardinality (or “size”)? The answer to this question, reassuringly, lies in early grade school memories: by demonstrating a pairing between elements of the two sets. More formally, we need to demonstrate a bijection f between the two sets. The bijection sets up a one-to-one correspondence, or pairing, between elements of the two sets. We know ...
متن کاملSyllogistic Logic with Complements
This paper continues the development of complete fragments of natural language by adding a noun-level complement operator to the basic syllogistic language of All X are Y and Some X are Y : in the fragment of this paper we can also say, for example, Some non-X are Y . We axiomatize this logic of this fragment in two ways: in a direct fashion, allowing the inference of an arbitrary sentence from...
متن کاملSyllogistic Logic with Comparative Adjectives
This paper adds comparative adjectives to the known systems of syllogistic logic. The comparatives are interpreted by transitive and irreflexive relations. The main point is to obtain sound and complete axiomatizations of the logics.
متن کاملGenerated topology on infinite sets by ultrafilters
Let $X$ be an infinite set, equipped with a topology $tau$. In this paper we studied the relationship between $tau$, and ultrafilters on $X$. We can discovered, among other thing, some relations of the Robinson's compactness theorem, continuity and the separation axioms. It is important also, aspects of communication between mathematical concepts.
متن کاملOn Cardinality of Fuzzy Sets
In this article, we would like to revisit and comment on the widely used definition of cardinality of fuzzy sets. For this purpose we have given a brief description of the history of development of fuzzy cardinality. In the process, we can find that the existing definition fails to give a proper cardinality while dealing with complementation of fuzzy sets. So there arises the need of defining t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Review of Symbolic Logic
سال: 2018
ISSN: 1755-0203,1755-0211
DOI: 10.1017/s1755020318000126